== Anwendungen == Wenn ein Algorithmus Eingaben aus der Menge X annimmt und Ausgaben aus der Menge Y liefert, dann berechnet er eine partielle Funktion von X nach Y. Der Definitionsbereich dieser Funktion ist die Menge aller Elemente aus X, für die der Algorithmus einen Wert liefert. Um einen Wert zu liefern, muss er insbesondere mit seiner Berec...